Computer algebra

Results: 2963



#Item
231Mathematical analysis / Mathematics / Arithmetic / Computer arithmetic / Interval arithmetic / Numerical analysis / Inverse trigonometric functions / Boolean algebra / Holomorphic functional calculus

Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2005-11-23 04:44:10
232Elliptic curve cryptography / Elliptic curves / Abstract algebra / Geometry / Algebra / Twisted Hessian curves / Hessian form of an elliptic curve / Twisted Edwards curve / Elliptic curve / Edwards curve / Montgomery curve / Cubic plane curve

Twisted Hessian curves Daniel J. Bernstein1,2 , Chitchanok Chuengsatiansup1 , David Kohel3 , and Tanja Lange1 1 Department of Mathematics and Computer Science

Add to Reading List

Source URL: iml.univ-mrs.fr

Language: English - Date: 2015-09-01 15:57:48
233Mathematics / Algebra / Geometry / Vectors / Linear algebra / Coordinate systems / Elementary mathematics / Analytic geometry / Cartesian coordinate system / Vector space / Sine / Euclidean vector

VECTOR-BASED COMPUTER GRAPHICS IN AUTOMATED MAP COMPILATION C F Scheepers, Scientist Centre for Advanced Computing and Decision Support CSIR, P O Box 395, Pretoria 0001 Republic of South Africa

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-30 00:57:48
234Computing / Computer architecture / Computer hardware / Parallel computing / GPGPU / Numerical linear algebra / Numerical software / Cache / Basic Linear Algebra Subprograms / CPU cache / Multi-core processor / Graphics processing unit

High-performance matrix-matrix multiplications of very small matrices I. Masliah2 , A. Abdelfattah1 , A. Haidar1 , S. Tomov1 , M. Baboulin2 , J. Falcou2 , and J. Dongarra1,3 1

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2016-06-07 14:32:34
235Programmable calculators / Graphing calculators / Office equipment / Z80 / Computer algebra systems / Calculator / Software calculator / Scientific calculator / TI-83 series / TI-81 / TI-92 series / SAT

GRAPHICS CALCULATORS AND ASSESSMENT* Barry Kissane, School of Education Marian Kemp, Academic Services Unit Jen Bradley, School of Physical Sciences, Engineering and Technology Murdoch University

Add to Reading List

Source URL: wwwstaff.murdoch.edu.au

Language: English - Date: 2004-01-06 01:09:32
236Polynomials / Computer algebra / Algebra / Symmetric functions / Symmetric polynomial / Finite field / Irreducible polynomial / Elementary symmetric polynomial / XTR / Resultant / Splitting circle method / Factorization of polynomials over finite fields

Fast Computation of Special Resultants ´ Alin Bostan a Philippe Flajolet a Bruno Salvy a Eric Schost b a Algorithms

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2005-07-11 17:31:38
237Numerical software / Computer algebra systems / General Algebraic Modeling System / Gams / BARON / CPLEX / Draft:Extended mathematical programming / Extended Mathematical Programming

OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s

Add to Reading List

Source URL: www.gams.com

Language: English - Date: 2016-06-07 08:00:10
238Matrix theory / Numerical linear algebra / Arithmetic / Computer arithmetic / Interval arithmetic / Numerical analysis / Interval / Matrix / Ring

submitted May 18, accepted November 28, 2011, published in Numerical Algorithms 61(1), FAST INTERVAL MATRIX MULTIPLICATION SIEGFRIED M. RUMP ∗

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2012-08-20 04:21:05
239Linear algebra / Matrices / Stereophotogrammetry / Matrix theory / Fundamental matrix / Eight-point algorithm / Essential matrix / Epipolar geometry / Singular value decomposition / Matrix / Camera matrix / Rotation matrix

Computer Vision Exercise Session 2 Institute of Visual Computing

Add to Reading List

Source URL: cvg.ethz.ch

Language: English - Date: 2015-10-06 15:10:50
UPDATE